Hildesheimer Informatik - Berichte Universität Hildesheim

Informatik - Berichte Universität Hildesheim

Hildesheimer Informatik - Berichte Universität

This paper is about partially ordered multisets (pomsets for short). We investigate a particular class of pomsets that we call deterministic, properly including all partially ordered sets, which satisfies a number of interesting properties: among other things, it forms a distributive lattice under pomset prefix (hence prefix closed sets of deterministic pomsets are prime algebraic), and it cons...

Formale Verifikation eingebetteter Systeme

Dr. rer. nat. Viktor Sabelfeld studierte von 1966 bis 1971 Mathematik und arbeitete dann bis 1996 an der Universität Nowosibirsk als Professor. Sein Forschungsgebiet liegt auf den äquivalenten Programmtransformationen. Seit November 1997 arbeitet er am IRF. Dr. rer. nat. Michaela Huhn studierte 1985-1992 Informatik in Erlangen und arbeitete bis 1997 an der Universität Hildesheim im Themengebiet...

Innovatives eCarSharing-Konzept am Beispiel des Hildesheimer Tandem-Modells

In einem innovativen und nachhaltigen Nutzungskonzept werden Elektroautos an der Universität Hildesheim abwechselnd im innerbetrieblichen Carsharing und privat genutzt. Dieses sogenannte Tandem-Modell vereint unterschiedliche CarsharingAnsätze und kann auf andere Nutzungskontexte übertragen werden. Dargestellt und analysiert wird das Konzept in einer Business Model Canvas mit Hilfe von Concept ...

Towards a Generic Interchange Format for Petri Nets. Position Paper

Petri Net Notation. Petri Net Newsletter 49 :9–27. Oct. 1995. [2] Lüder, Arndt and Hans-Michael Hanisch: A Signal Extension for Petri nets and its Use in Controller Design. In: H.-D. Burkhard; L. Czaja; and P. Starke (eds.), Proceedings of the CS&P’97 Workshop, no. 110 in Informatik–Berichte, (pp. 98–105), Humboldt–Universität zu Berlin, Berlin, Germany.